Revision: tla-manpage--devo--0--patch-3
Archive: hun@n-dimensional.de--2005-public
Creator: Hans Ulrich Niedermann <hun@n-dimensional.de>
Date: Sat Feb 26 00:02:44 CET 2005
Standard-date: 2005-02-25 23:02:44 GMT
Modified-files: ChangeLog generate-manpage.pl
New-patches: hun@n-dimensional.de--2005-public/tla-manpage--devo--0--patch-3
Summary: read command line to decide what man pages to build
Keywords: 

read command line to decide what man pages to build

